The comment in xen.h on how to obtain current system time was missing
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 13 Apr 2006 09:41:53 +0000 (10:41 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 13 Apr 2006 09:41:53 +0000 (10:41 +0100)
commit6d847cf8cb7fd656bb99f8918894f598fd783ec8
tree9318e27614b9fd395edfa4e67aa44916db1a261a
parenta94a960c97e51e7706c4264ac34ef59543e45e0e
The comment in xen.h on how to obtain current system time was missing
a right shift by 32 bits.

Signed-Off-By: Bruce Rogers <brogers@novell.com>
xen/include/public/xen.h